Merge branch 'gitlab-ci-docker' into 'master'
authorEmmanuele Bassi <ebassi@gmail.com>
Wed, 14 Feb 2018 23:38:58 +0000 (23:38 +0000)
committerEmmanuele Bassi <ebassi@gmail.com>
Wed, 14 Feb 2018 23:38:58 +0000 (23:38 +0000)
Add gitlab-ci support using a prebuilt docker image

See merge request GNOME/gtk!7


Trivial merge